NoPatternMatching.agda:10,1-10
Pattern matching is disabled
when checking the clause left hand side
fail unit
